\documentclass[a4paper,spanish]{article}

\input{preambulo}

\hyphenation{ob-te-ner}

\begin{document}

\input{caratula}

Este trabajo pr'actica fue correctamente testeado en la consola interactiva SWI-Prolog.
El 'unico caso que consideramos digno de comentar es el testeo de \texttt{grafoCorrecto}.

\section*{Ejercicio 1}

\lstinputlisting[linerange=40-41]{../tp2.pl}

\section*{Ejercicio 2}

\lstinputlisting[linerange=43-47]{../tp2.pl}

\section*{Ejercicio 3}

\lstinputlisting[linerange=49-53]{../tp2.pl}

\section*{Ejercicio 4}

\lstinputlisting[linerange=56-60]{../tp2.pl}

\section*{Ejercicio 5}

\lstinputlisting[linerange=66-75]{../tp2.pl}

Tomando como ejemplo los datos suministrados en el enunciado [Figura \ref{fig:ciudades}], existen dos casos en
los cuales el grafo no es correcto ejemplificadas eliminando las siguientes sentencias:

\begin{description}
\item{\texttt{llega(mdq, buenos\_aires, 1)}}: En este caso el predicado \texttt{ciudades} nos da
8 ciudades (lo cual a nuestro entender proviene de un error en el nombre del predicado),
entonces falla cuando calculamos \texttt{todoAlcanzable} para ciudades que est'an a
distancia menor a 8 de mdq, por ejemplo Buenos Aires. Buenos Aires alcanza 9 ciudades.
\item{\texttt{llega(buenos\_aires, mdq, 1)}}: Nadie alcanza mdq excepto ella misma. Con lo cual
\texttt{todoAlcanzable} da falso para todas las ciudades excepto mdq.
\end{description}

\begin{figure}
  \centering
\includegraphics[width=\textwidth]{ciudades.pdf}
\caption{Esquema de ciudades y vuelos}
\label{fig:ciudades}
\end{figure}

\section*{Ejercicio 6}

\lstinputlisting[linerange=78-82]{../tp2.pl}

\section*{Ejercicio 7}

\lstinputlisting[linerange=84-88]{../tp2.pl}

\section*{Auxiliares}

\lstinputlisting[linerange=96-112]{../tp2.pl}

\end{document}
